Última revisión de 11:29 4 may 2013

¿Qué es?

No se ha añadido ninguna twiki todavía.

Cálculo lógico, inventado por Georg Boole para la lógica de enunciados y la lógica de clases, que constituye el precedente y el fundamento de la lógica moderna o lógica matemática. Boole considera que los enunciados pueden expresarse como ecuaciones simples y los razonamientos como un sistema de ecuaciones. Los enunciados categóricos de tipo A, E, I y O se reescriben en esta álgebra como:

donde la expresión (1-y) es la clase complemento de y, o bien . Los enunciados universales se expresan como ecuaciones y los particulares como inecuaciones. Los elementos de esta álgebra son las clases, o los conceptos tomados extensionalmente.